Search Results
Lamport TLA+ Course Lecture 10: Implementation with Refinement Part 1: Preliminaries (HD)
Lamport TLA+ Course Lecture 10: Implementation with Refinement Part 2: Refinement Mappings (HD)
Lamport TLA+ Course Lecture 8: Paxos Commit Part 1: Preliminaries (HD)
Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD)
Markus Kuppe — Workshop: TLA+ in action (Part 1)
Lamport TLA+ Course Lecture 5: Transaction Commit (HD)
Lamport TLA+ Course Lecture 7: Paxos Commit (HD)
Lamport TLA+ Course Lecture 6: Two-Phase Commit (HD)
Lamport TLA+ Course Lecture 9: The Alternating Bit Protocol Part 2: The Protocol (HD)
The Ease of Implementation
Verifying Payment Channels with TLA+ - Matthias Grundmann
SREcon23 Americas - Turning an Incident Report into a Design Issue with TLA+
